Ctrl-Alt-Pause

Ctrl alt share

Camera Mouse Including “Ctrl-Alt-Del” Key Operation Using Gaze, Blink, and Mouth Shape

This paper presents camera mouse system with additional feature: "CTRL ALT DEL" key. The previous gaze-based camera mouse systems are only considering how to obtain gaze and making selection. We proposed gaze-based camera mouse with "CTRL ALT DEL" key. Infrared camera is put on top of display while user looking ahead. User gaze is estimated based on eye gaze and head pose. Blinking and mouth de...

RuntimeSearch: Ctrl+F for a running program

Developers often try to find occurrences of a certain term in a software system. Traditionally, a text search is limited to static source code files. In this paper, we introduce a simple approach, RuntimeSearch, where the given term is searched in the values of all string expressions in a running program. When a match is found, the program is paused and its runtime properties can be explored wi...

CTRL+Z: Recovering Anonymized Social Graphs

Social graphs derived from online social interactions contain a wealth of information that is nowadays extensively used by both industry and academia. However, due to the sensitivity of information contained in such social graphs, they need to be properly anonymized before release. Most of the graph anonymization techniques that have been proposed to sanitize social graph data rely on the pertu...

EARS-CTRL: Generating Controllers for Dummies

In this paper we present the EARS-CTRL tool for synthesizing and validating controller software for embedded systems. EARS-CTRL has as starting point requirements written in (English) natural language, more specifically in the EARS (Easy Approach to Requirements Syntax) language invented at Rolls-Royce and currently in use at numerous organizations around the world. After expressing the require...